Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
781	Curriculum Vitae Tevfik Bultan August 19, 2013 Department of Computer Science University of California Santa Barbara, CA 93106 Add to Reading List Source URL: www.cs.ucsb.edu Language: English - Date: 2013-08-19 18:52:27 Software testing Software verification Formal verification Orc SIGSOFT Software engineering Model checking Conference on Implementation and Application of Automata CHIC Theoretical computer science Applied mathematics Computer science
782	sutherland-hdl_workshops.fm Add to Reading List Source URL: www.sutherland-hdl.com Language: English - Date: 2012-11-02 18:47:30 Hardware description languages Logic in computer science SystemVerilog Verilog E Formal verification Verification Synopsys Assertion Electronic engineering Electronic design automation Hardware verification languages
783	FORMALIZATION AND VERIFICATION OF SHARED MEMORY Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2005-01-05 10:38:15 Theoretical computer science Concurrent computing Formal methods Consistency model Transaction processing Sequential consistency Actor model Parallel computing Formal verification Computing Data Logic in computer science
784	Authbridge Cornell Case Study.pdf Add to Reading List Source URL: www.authbridge.com Language: English - Date: 2013-02-06 07:25:35 Security Human resource management Background check Employment Law enforcement Business process outsourcing Productivity Verification and validation Formal verification Business Technology Recruitment
785	Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 Patrice Chalin1 , Joseph R. Kiniry2 , Gary T. Leavens3 , and Erik Poll4 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2006-06-01 14:01:26 Logic in computer science Formal methods Programming paradigms Java Modeling Language Java platform Object-oriented programming Postcondition Class invariant Design by contract Software engineering Computing Theoretical computer science
786	Teaching program specification and verification using JML and ESC/Java2 Erik Poll Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2009-08-15 11:27:47 Logic in computer science Formal methods ESC/Java Programming paradigms Static program analysis Predicate transformer semantics KeY Postcondition Invariant Software engineering Theoretical computer science Computing
787	Practical Limits On Software Dependability: A Case Study Patrick J. Graydon, John C. Knight, and Xiang Yin Add to Reading List Source URL: www.cs.virginia.edu Language: English - Date: 2010-03-18 12:19:03 Formal methods Software testing Software quality Systems engineering Software verification SPARK Formal verification Functional specification Requirement Software development Computing Software engineering
788	Calculus of Inductive Constructions Software Formal Verification Maria Jo˜ao Frade Add to Reading List Source URL: www3.di.uminho.pt Language: English - Date: 2009-06-24 07:52:22 Logic Programming language theory Calculus of constructions Entailment Typed lambda calculus Lambda cube Simply typed lambda calculus Type constructor Pure type system Type theory Lambda calculus Theoretical computer science
789	STATIC VERIFICATION OF DYNAMIC PROPERTIES Dr. Alain Deutsch Chief Technical Officer Add to Reading List Source URL: nesl.ee.ucla.edu Language: English - Date: 2005-10-01 21:19:04 Polyspace Program analysis Software testing Ada Programming language Formal methods Logic in computer science Static program analysis Dynamic program analysis Computing Software engineering Programming language theory
790	Reports and Articles Social Processes and Proofs of Theorems Add to Reading List Source URL: www.csee.umbc.edu Language: English - Date: 2008-09-16 22:24:39 Formal methods Philosophy of mathematics Theoretical computer science Mathematical proof Formal verification Theorem Richard J. Lipton Algorithm Mathematical beauty Mathematics Logic Mathematical logic